1. Logic-Based Program Synthesis and Transformation
Author: \ Moreno Falaschi (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامهنویسی منطقی -- کنگرهها ,منطق کامپیوتری -- کنگره ها ,نرمافزار -- تولید -- کنگره ها
Classification :
QA
76
.
63
.
L6
2015
E-Book
,
2. Logic-Based Program Synthesis and Transformation
Author: \ [edited by] Maurizio Proietti, Hirohisa Seki.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming -- Congresses.,Computer logic -- Congresses.,Computer software -- Development -- Congresses.,برنامهنویسی منطقی -- کنگرهها,منطق کامپیوتری -- کنگره ها ,نرمافزار -- تولید -- کنگره ها
Classification :
QA
76
.
6
.
L6
2015
E-Book
,
3. Logic-based program synthesis and transformation
Author: Elvira Albert (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer software-- Development, Congresses,Logic programming, Congresses
Classification :
QA76
.
63
.
L67
2012
4. Logic-based program synthesis and transformation :
Author: Fred Mesnard, Peter J. Stuckey (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
Classification :
QA76
.
63
